<?php

class Profesor extends BaseProfesor
{
}
